rorn logic to manuals
نویسندگان
چکیده
A simple language is demonstrated that combines specifications and manuals. This shows first that a user manual can be automatically reconstructed from a logic specification that is effectively identical to the original logic (up to ambiguities in natural language); and secondly, that such an automated process can help detect errors. The process is fast and suitable for use in participatory design.
منابع مشابه
Historical Origins of Argumentum ad Consequentiam
What are the historical origins of the argumentum ad consequentiam, the argument from (or literally, to) consequences, sometimes featured as an informal fallacy in logic textbooks? As shown in this paper, knowledge of the argument can be traced back to Aristotle (who did not treat it as a fallacy, but as a reasonable argument). And this type of argument shows a spotty history of recognition in ...
متن کاملUsers’ Performance and Preferences for Online Graphic, Text and Auditory Presentation of Instructions
Traditional technical manuals consist primarily of text supplemented by tabular and graphic presentation of information. In the past decade technical information systems have increasingly been authored for presentation on computers instead of on paper; however a stable set of standards for such manuals has yet to evolve. There are strong beliefs but little empirical evidence to guide standards ...
متن کاملApplicability of Resource-based Machine Translation to Airplane Manuals
Machine translation (MT) has been studied and developed since the advent of computers, and yet is rarely used in actual business. For business use, rule-based MT has been developed, but it requires rules and a domainspecific dictionary that have been created manually. On the other hand, as huge amounts of text data have become available, corpusbased MT has been actively studied, particularly co...
متن کاملA Documentation Generator for (C)LP Systems
Abs t r ac t . We describe lpdoc, a tool which generates documentation manuals automatically from one or more logic program source files, written in Ciao, ISO-Prolog, and other (C)LP languages. It is particularly useful for documenting library modules, for which it automatically generates a rich description of the module interface. However, it can also be used quite successfully to document ful...
متن کاملComparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps
We report on a case study investigating current practice in the use of a programmable infusion pump. We start by formalising an existing description of the procedure followed by nurses for setting up a commercial infusion pump obtained via observation and interview. We then compare and contrast this procedure with a formal description of the sequence of actions reported in the pump’s user manua...
متن کامل